A representation theorem for semilattices

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Jump Inversion Theorem for the Semilattices of Sigma-degrees

We prove an analogue of the jump inversion theorem for the semilattices of Σ-degrees of structures. As a corollary, we get similar result for the semilattices of degrees of presentability of countable structures.

متن کامل

Representation Theorem for Stacks

In this paper i is a natural number and x is a set. Let A be a set and let s1, s2 be finite sequences of elements of A. Then s1s2 is an element of A∗. Let A be a set, let i be a natural number, and let s be a finite sequence of elements of A. Then s i is an element of A∗. The following two propositions are true: (1) ∅ i = ∅. (2) Let D be a non empty set and s be a finite sequence of elements of...

متن کامل

Hyperseparoids: A Representation Theorem

In this note, hyperseparoids are introduced; hyperseparoids are to separoids as Tverberg’s theorem is to Radon’s theorem. Also, a geometric representation theorem for acyclic kseparoids is presented which generalises that for separoids exhibited in [2].

متن کامل

Strong quota pair systems and May's theorem on median semilattices

STRONG QUOTA PAIR SYSTEMS AND MAY’S THEOREM ON MEDIAN SEMILATTICES Lucas Hoots May 12, 2015 Kenneth May [16], in 1952, characterized simple majority rule in terms of three conditions: anonymity, neutrality, and positive responsiveness. In this thesis, we remove the condition of neutrality and obtain a characterization of the class of voting rules that satisfy anonymity and positive responsivene...

متن کامل

A Representation Theorem for Stratified Complete Lattices

We consider complete lattices equipped with preorderings indexed by the ordinals less than a given (limit) ordinal subject to certain axioms. These structures, called stratified complete lattices, and weakly monotone functions over them, provide a framework for solving fixed point equations involving non-monotone operations such as negation or complement, and have been used to give semantics to...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Proceedings of the American Mathematical Society

سال: 1984

ISSN: 0002-9939

DOI: 10.1090/s0002-9939-1984-0727237-7